Denotational semantics - PDFSEARCH.IO - Document Search Engine

Denotational semantics
Results: 326

#	Item
111	Relational Parametricity and Units of Measure Andrew J. Kennedy In Proceedings of the 24th Annual ACM Symposium on Principles of Programming Languages, Paris, France, JanuaryThe following copyright notice is requi Add to Reading List Source URL: research.microsoft.com Language: English - Date: 2010-07-30 11:26:28 Denotational semantics Physics Applied mathematics Orbifold Theoretical computer science Symbol Physical quantity
112	Continuation Hierarchy and Quantifier Scope Oleg Kiselyov and Chung-chieh Shan 1 2 Add to Reading List Source URL: okmij.org Language: English - Date: 2014-03-21 03:17:21 Semantics Predicate logic Quantification Model theory Logic in computer science Combinatory logic Denotational semantics First-order logic Free variables and bound variables Logic Mathematical logic Theoretical computer science
113	HANDLING ALGEBRAIC EFFECTS GORDON D. PLOTKIN AND MATIJA PRETNAR Laboratory for Foundations of Computer Science, School of Informatics, University of Edinburgh, Scotland e-mail address: Faculty of Mathema Add to Reading List Source URL: matija.pretnar.info Language: English - Date: 2014-10-06 03:14:23 Logic in computer science Algebraic geometry Field theory Valuation Monad Denotational semantics Exception handling Symbol Sheaf Abstract algebra Mathematics Software engineering
114	The TOPCASED project a Toolkit in OPen source for Critical Applications & SystEms Design ∗ Marc Pantel Add to Reading List Source URL: www.dsmforum.org Language: English - Date: 2007-06-19 10:22:01 Object Constraint Language Meta-Object Facility Denotational semantics Metamodeling Kermeta Model-driven architecture Petri net ECO ATLAS Transformation Language Unified Modeling Language Software engineering Software
115	PDF Document Add to Reading List Source URL: research.microsoft.com Language: English - Date: 2010-07-30 11:26:12 Software engineering Logic in computer science Programming language semantics Type systems Denotational semantics Programming language Type inference Operational semantics Semantics Programming language theory Theoretical computer science Type theory
116	Polymorphic Embedding of DSLs Christian Hofer Klaus Ostermann Tillmann Rendel Adriaan Moors Add to Reading List Source URL: www.mathematik.uni-marburg.de Language: English - Date: 2008-08-04 08:41:32 Logic in computer science Type theory Programming language semantics Functional languages Denotational semantics Domain-specific language Scala Semantics Programming language Computing Software engineering Theoretical computer science
117	Electronic Notes in Theoretical Computer Sciencehttp://www.elsevier.nl/locate/entcs/volume87.html 150 pages Synthetic topology of data types and classical spaces Mart´ın Escard´o Add to Reading List Source URL: www.cs.bham.ac.uk Language: English Domain theory Stone duality Continuous function Cantor space Discrete space Hausdorff space Compact space Space Denotational semantics Topology General topology Topological spaces
118	An Operational and Axiomatic Semantics for Non-determinism and Sequence Points in C Robbert Krebbers ∗ ICIS, Radboud University Nijmegen, The Netherlands Add to Reading List Source URL: robbertkrebbers.nl Language: English - Date: 2013-11-12 14:05:28 Logic in computer science Forcing Deduction Combinatory logic Lambda calculus Denotational semantics Valuation Symbol Entailment Logic Abstract algebra Mathematical logic
119	Macros as Multi-Stage Computations: Type-Safe, Generative, Binding Macros in MacroML ∗ Steven E. Ganz † Add to Reading List Source URL: www.cs.rice.edu Language: English - Date: 2007-07-14 12:45:37 Functional languages Transformation languages Procedural programming languages Denotational semantics Hygienic macro Macro Inline expansion Standard ML Racket Software engineering Computing Computer programming
120	Applied Semantics: Specifying and Developing Abstractions for Distributed Computation (Grand Challenge Discussion Paper – GC2, GC4, and GC6) Peter Sewell Keith Wansbrough Add to Reading List Source URL: www.lochan.org Language: English - Date: 2005-03-28 17:11:35 Logic in computer science Programming language semantics Denotational semantics Programming language Semantics Communications protocol OCaml Computer science Computing Theoretical computer science Software engineering

UPDATE